variable
  @♭ A : Set
